-
1 аксиоматизируемая теория
Большой англо-русский и русско-английский словарь > аксиоматизируемая теория
-
2 axiomatizable
аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно аксиоматизируемая система finitely axiomatizable theor ≈ конечно аксиоматизируемая теория finitely axiomatizable variety ≈ конечно аксиоматизируемое многообразие recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория universally axiomatizable class ≈ универсально аксиоматизируемый класс universally axiomatizable subclass ≈ универсально аксиоматизируемый подкласс - axiomatizable class - axiomatizable system - axiomatizable theor - axiomatizable typeБольшой англо-русский и русско-английский словарь > axiomatizable
-
3 finitely
конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely additive function ≈ конечно аддитивная функция finitely additive measure ≈ конечно аддитивная мера finitely approximable group ≈ конечно аппроксимируемая группа finitely approximable semigroup ≈ финитно аппроксимируемая полугруппа finitely approximated system ≈ конечно аппроксимированная система finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно аксиоматизируемая система finitely axiomatizable theor ≈ конечно аксиоматизируемая теория finitely axiomatizable variety ≈ конечно аксиоматизируемое многообразие finitely basable manifold ≈ конечно базируемое многообразие finitely bounded germ ≈ конечно ограниченный росток finitely cogenerated group ≈ конечно копорожденная группа finitely compact manifold ≈ конечно компактное многообразие finitely compact set ≈ конечно компактное множество finitely compact space ≈ конечно компактное пространство finitely connected domain ≈ конечносвязная область finitely connected module ≈ конечно связный модуль finitely connected subset ≈ конечно связное подмножество finitely convergent element ≈ конечно сходящийся элемент finitely convergent semigroup ≈ конечно сходящаяся полугруппа finitely definable quasivariety ≈ конечно определимое квазимногообразие finitely definable variety ≈ конечно определимое многообразие finitely defined algebra ≈ конечно определенная алгебра finitely defined group ≈ конечно определенная группа finitely definite set ≈ конечно определенное множество finitely differentiable equation ≈ конечно-дифференцируемое уравнение finitely generated algebra ≈ конечно порожденная алгебра finitely generated extension ≈ конечно порожденное расширение finitely generated field ≈ конечно порожденное поле finitely generated group ≈ матем. группа с конечным числом образующих finitely generated model ≈ конечно порожденная модель finitely generated monoid ≈ конечно порожденный моноид finitely generated presentation ≈ конечно порожденное представление finitely generated representation ≈ конечно порожденное пространство finitely generated ring ≈ конечно порожденное кольцо finitely generated semigroup ≈ конечно порожденная полугруппа finitely generated sheaf ≈ пучок с конечным числом образующих finitely generated structure ≈ конечно порожденная структура finitely generated subgroup ≈ конечно порожденная подгруппа finitely generated submodule ≈ конечно порожденный подмодуль finitely generated subobject ≈ конечно порожденный подобъект finitely generating ideal ≈ конечно порожденный идеал finitely mean valent function ≈ конечнолистная в среднем функция finitely measurable function ≈ конечно измеримая функция finitely measurable set ≈ конечно измеримое множество finitely presented group ≈ конечно представимая группа finitely presented module ≈ конечно представимый модуль finitely presented semigroup ≈ конечно определенная полугруппа finitely presented system ≈ конечно представленная система finitely productive space ≈ конечно продуктивное пространство finitely related group ≈ группа с конечным числом отношений finitely related presentation ≈ представление с конечным числом соотношений finitely related representation ≈ представление с конечным числом определяющих соотошений finitely sheeted domain ≈ конечнолистная область finitely sheeted space ≈ конечнолистное пространство finitely spanned module ≈ матем. модуль конечнопорожденный finitely triangulated manifold ≈ конечно триангулированное многообразие finitely triangulated space ≈ конечно триангулированное пространство finitely triangulated triad ≈ конечно триангулированная триада finitely valued function ≈ конечнозначная функция finitely valued random variable ≈ конечнозначная случайная величина purely finitely additive ≈ вполне конечно аддитивный - at most finitely many - finitely additive - finitely approximable - finitely axiomatized - finitely branched - finitely cogenerated - finitely compact - finitely connected - finitely covered - finitely definable - finitely defined - finitely dependent - finitely differentiable - finitely distributive - finitely generated - finitely invariant - finitely measurable - finitely open - finitely presented - finitely productive - finitely related - finitely satisfiable - finitely sheeted - finitely subadditive - finitely valued FinitelyБольшой англо-русский и русско-английский словарь > finitely
-
4 recursively
1) рекурсно
2) рекурсивно
3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers ≈ общерекурсивно неравные числа general recursively irrational number ≈ общерекурсивно иррациональное число general recursively true ≈ общерекурсивно истинный general recursively true formula ≈ общерекурсивно истинная формула primitive recursively true ≈ примитивно-рекурсивно истинный recursively approximable set ≈ рекурсивно аппроксимируемое множество recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория recursively axiomatized theor ≈ рекурсивно аксиоматизированная теория recursively bounded quantifier ≈ рекурсивно ограниченный квантор recursively calculable function ≈ рекурсивно вычислимая функция recursively complex number ≈ рекурсивно комплексное число recursively continuous function ≈ рекурсивно непрерывная функция recursively convergent function ≈ рекурсивно сходящаяся функция recursively convergent sequence ≈ рекурсивно сходящаяся последовательность recursively creative set ≈ рекурсивно креативное множество recursively defined function ≈ рекуррентно определенная функция recursively defined sequence ≈ рекурсивно определенная последовательность recursively differentiable function ≈ рекурсивно дифференцируемая функция recursively divergent function ≈ рекурсивно расходящаяся функция recursively divergent sequence ≈ рекурсивно расходящаяся последовательность recursively enumerable cylinder ≈ рекурсивно перечислимый цилиндр recursively enumerable degree ≈ рекурсивно перечислимая степень recursively enumerable index ≈ рекурсивно перечислимый индекс recursively enumerable ordinal ≈ рекурсивно перечислимое порядковое число recursively enumerable predicate ≈ рекурсивно перечислимый предикат recursively enumerable problem ≈ рекурсивно перечислимая проблема recursively enumerable relation ≈ рекурсивно перечислимое отношение recursively enumerable sequence ≈ рекурсивно перечислимая последовательность recursively enumerable set ≈ рекурсивное перечислимое множество recursively enumerable structure ≈ рекурсивно перечислимая структура recursively enumerable subclass ≈ рекурсивно перечислимый подкласс recursively enumerable subset ≈ рекурсивно перечислимое подмножество recursively enumerable theor ≈ рекурсивно перечислимая теория recursively equivalent sets ≈ рекурсивно эквивалентные множества recursively extensible function ≈ рекурсивно продолжаемая функция recursively incompletable theor ≈ рекурсивно непополнимая теория recursively indecomposable set ≈ рекурсивно неразложимое множество recursively inseparable sets ≈ рекурсивно неотделимые множества recursively invariant concept ≈ рекурсивно инвариантное понятие recursively invariant relation ≈ рекурсивно инвариантное отношение recursively isomorphic set ≈ рекурсивно изоморфное множество recursively presentable structure ≈ рекурсивно представимая структура recursively presented group ≈ рекурсивно определенная группа recursively productive set ≈ рекурсивно продуктивное множество recursively real number ≈ рекурсивно вещественное число recursively related system of notation ≈ рекурсивная по упорядочению система обозначений recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение recursively separable sets ≈ рекурсивно отделимые множества recursively solvable problem ≈ рекурсивно разрешимая проблема recursively undecidable theor ≈ рекурсивно неразрешимая теория recursively unequal numbers ≈ рекурсивно неравные числа - recursively axiomatized - recursively calculable - recursively closed - recursively computable - recursively conditional - recursively continuous - recursively convergent - recursively differentiable - recursively divergent - recursively enumerable - recursively equivalent - recursively expressible - recursively extensible - recursively inseparable - recursively isomorphic - recursively isotonic - recursively presentable - recursively projective - recursively realizable - recursively representable - recursively soluble - recursively true - recursively unsolvable РекурсивноБольшой англо-русский и русско-английский словарь > recursively
-
5 axiomatizable theor
Большой англо-русский и русско-английский словарь > axiomatizable theor
-
6 axiomatizable theory
Математика: аксиоматизируемая теория -
7 finitely axiomatizable theory
Математика: конечно аксиоматизируемая теорияУниверсальный англо-русский словарь > finitely axiomatizable theory
-
8 recursively axiomatizable theory
Математика: рекурсивно аксиоматизируемая теорияУниверсальный англо-русский словарь > recursively axiomatizable theory
-
9 axiomatizable theory
English-Russian scientific dictionary > axiomatizable theory
-
10 finitely axiomatizable theory
Англо-русский словарь по исследованиям и ноу-хау > finitely axiomatizable theory
См. также в других словарях:
множеств теория — МНОЖЕСТВ ТЕОРИЯ учение о множествах, зародившееся в середине 19 в. и изучающее свойства множеств произвольной природы. Создание М. т. было подготовлено работами математиков, ставивших целью разработку оснований анализа. Первые работы в… … Энциклопедия эпистемологии и философии науки
ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… … Математическая энциклопедия
Гёдель, Курт — Курт Гёдель нем. Kurt Friedrich Gödel … Википедия
Гёдель — Гёдель, Курт Курт Гёдель нем. Kurt Friedrich Gödel 200px Курт Гёдель Дата рождения: 28 апреля 1906(1906 04 28) Место рождения … Википедия
Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1] две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… … Википедия